abstraction and proof - Espagnol Anglais Dictionnaire